Partiality II: Constructed relation algebras
نویسندگان
چکیده
منابع مشابه
Relation algebras form cylindric algebras, II
We prove, for each 4 ≤ n < ω, that SRaCAn+1 cannot be defined, using only finitely many first-order axioms, relative to SRaCAn. The construction also shows that for 5 ≤ n < ω, SRaCAn is not finitely axiomatisable over RAn, and that for 3 ≤ m < n < ω, SNrmCAn+1 is not finitely axiomatisable over SNrmCAn. In consequence, for a certain standard n-variable first-order proof system `m,n of m-variabl...
متن کاملLattice-Based Relation Algebras II
We present classes of algebras which may be viewed as weak relation algebras, where a Boolean part is replaced by a not necessarily distributive lattice. For each of the classes considered in the paper we prove a relational representation theorem.
متن کاملRelation Algebras from Cylindric Algebras, Ii Version 6.3
We prove, for each 4 n < !, that SRaCA n+1 cannot be deened, using only nitely many rst-order axioms, relative to SRaCA n. The construction also shows that for 3 m < n < !, SNr m CA n+1 is not nitely axiomatisable over SNr m CA n. In consequence, for a certain standard n-variable rst-order proof system`m;n of m-variable formulas, there is no nite set of m-variable schemata whose m-variable inst...
متن کاملHvMV-ALGEBRAS II
In this paper, we continue our study on HvMV-algebras. The quotient structure of an HvMV-algebra by a suitable types of congruences is studied and some properties and related results are given. Some homomorphism theorems are given, as well. Also, the fundamental HvMV-algebra and the direct product of a family of HvMV-algebras are investigated and some related results are obtained.
متن کاملSuperatomic Boolean Algebras Constructed from Morasses
By using the notion of a simplified (n, 1)-morass, we construct n-thin-tall, K-thin-thick and, in a forcing extension, K-very thin-thick superatomic Boolean algebras for every infinite regular cardinal n.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2012
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2012.05.005